Skip to main content


texts 35
Invariants 11
invariants 7
program 6
invariant 5
analysis 3
daikon 3
dynamic 3
proof 3
properties 3
test 3
AaO axiom 2
Forms, Binary 2
Forms, Ternary 2
Non-Abelian Algebraic Topology (NAAT) 2
data 2
dynamic analysis 2
invariant detection 2
invariant detector 2
simulation 2
specifications 2
super-symmetries 2
test suite 2
test suites 2
(M 1
AaO system 1
Adiabatic invariants 1
Bilinear forms 1
CPT symmetry violation 1
Categorical Ontology and the Theory of Levels (COTL) 1
Categorical Ontology of Ultra-complex systems,automata vs. quantum automata and organisms, Categorical Ontology and the Theory of Levels, Relational Biology Principles, What is Life ? and Life's multiple Logics, LM- and Q- Logic, organismic categories, supercategories and relational patterns, Abelian vs. non-Abelian theories, commutativity restrictions in Logic, Mathematics, Physics and Emergent - Dynamic Systems Theory, Lukasiewicz-Moisil Logic algebras of genetic networks and interactomes,Homo sapiens sapiens, the emergence of hominins and hominoides,cognitive science, mental representations and intentionality, logicians and philosophers: Brentano, Harman, Dennett, Field and Fodor' s philosophy of the human mind, Higher Dimensional Algebra (HDA) of the higher-meta-level brain functions, Higher Homotopy-General van Kampen Theorems (HHvKT) in modern Algebraic Topology and Non-Abelian Algebraic Topology (NAAT), non-commutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology, non-commutative topological invariants of complex dynamic state spaces, Natural Transformations in Molecular and Relational Biology, molecular class variables (MCV's, mcv's), the Primordial MR-system Origin of Life on Earth, Archea unicellular organisms, Organismal Evolution--the origins of species' biogroupoid representations, local-to-global procedures models of Organismal Evolution, biogroupoids, variable groupoids, variable categories, variable topology and atlas structures, irreversibility and open systems in Molecular and Statistical Biology/Biostatistics, selective boundaries vs. horizons, super-complex and ultra-complex systems, meta-levels of reality in human consciousness and human society, Global and Local aspects of Biological Evolution, colimits of variable biogroupoids, chains and compositions of local procedures (COLPs) in the Evolution and Co-Evolution of biological and Human species, What is Human Consciousness and Synaesthesia ?, Human Consciousness and its underlying brain dynamics as non-Abelian ultra-complex processes, Emergence of Human Consciousness through Societal Co-Evolution, social interactions 1
Categorical Ontology-Theory of Reality Levels 1
Categorical ontology and the theory of levels,formal foundation and relational structure of categorical ontology and emergent complexity theories,ontological essence and universal properties of items, Mathematical categories, groupoids, locally Lie groupoids,groupoid atlas, stacks, fibred categories,Relational Biology Principles, Higher -Homotopy General van Kampen Theorems (HHvKT) and Non-Abelian Algebraic Topology (NAAT) , noncommutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology , noncommutative topological invariants of complex dynamic state spaces, Natural transformations in molecular and relational biology,molecular class variables (mcv) , Natural transformations and the Yoneda-Grothendieck Lemma/construction , variable groupoids, variable categories, Variable Topology and atlas structures, Biomolecular classes and Metabolic-Repair (M-R)-systems 1
Combinations of Local Procedures (COLP), Lie groupoids 1
Diabetic Retinopathy 1
Differential equations, Linear 1
Differential invariants 1
Differential invariants. [from old catalog] 1
Double Groupoids 1
ETAC and ETAS axioms 1
Emergent themes 1
Forms (Mathematics) 1
Forms, Quadratic 1
Functions 1
Functors and Natural Transformations (CT) 1
Fundamental Quantum Double Groupoid, spacetime topological invariants 1
General Relativity and supersymmetry 1
General Systems Theory and Complex Systems Biology 1
Higgs boson 1
Higher Dimensional Algebra (HDA) of Networks 1
Higher Dimensional Algebra of Brain Functions 1
Higher Homotopy-Generalised van Kampen theorems (HHGvKTs) 1
Higher-Dimensional Algebra (HDA) in SpaceTime Ontology 1
Higher-Homotopy General van Kampen Theorem (HHvKT) 1
Human Consciousness, Human Society 1
Hyperspace--Mathematics 1
Invariants. 1
Kant 1
Matrices 1
Moment Invariants 1
Mooney-Rivlin material 1
Non- Abelian Categorical Ontology 1
Non-Abelian Ontology 1
Number theory 1
PTP sheets 1
Pathway invariants 1
Photoionization of gases 1
Planck limit of spacetime 1
Quantum Algebraic Topology (QAT) and Axiomatic Quantum Theory (AQT) 1
Quantum Double 1
Quantum Field Theory 1
Quantum Gravity 1
Quantum Gravity in Physical Cosmology 1
Quantum Logics and Logic Algebras 1
R)-systems (MRs) and organisms 1
Substitutions, Linear 1
Swedish spirit 1
Theoretical Biology 1
Theory of Categories 1
Theses 1
Topological and Homotopy Quantum Field Theories 1
Vessel Segmentation 1
Yoneda-Grothendieck Lemma 1
abstraction 1
algorithm 1
algorithmic processing 1
analysis and synthesis 1
annotations 1
artificial intelligence 1
autocatalysis 1
autopoiesis and generalised metabolic-replication systems 1
bees 1
boundaries and horizons 1
candidate screening 1
carrier 1
case analysis 1
category of categories 1
category of double groupoids and double category 1
change 1
checkerboard pressure 1
chronotopoids and multiverses 1
clause 1
closed and open systems 1
cluster 1
commutativity versus non-commutativity 1
compiler 1
complex 1
comprehension 1
conceptual invariance 1
consciousness 1
constraint 1
constraint analysis 1
constraints 1
control flow 1
corresponding 1
corresponding points 1
credible 1
curvature 1
curve 1
curves 1
dance 1
data structure 1
data structures 1
derived 1
derived fields 1
determinant 1
double-stranded Poly(Triose-phosphate) 1
dynamic invariant 1
dynamic linkage 1
dynamically detected 1
ecological invariants 1
elastostatics 1
emergence of Life 1
emergent motifs 1
energy landscapes 1
epipolar lines 1
exclusion algorithm 1
execution 1
expression 1
field 1
field constraint 1
field constraints 1
fields 1
finite elements 1
flow arc 1
flow arcs 1
forbidden zone 1
form proof 1
function sharing 1
generalized LM-Toposes (GLM) 1
generalized matrix function 1
generated specifications 1
goal set 1
graded Lie algebroids in nonlinear Quantum Gravity 1
groupoid atlases 1
houdini 1
iebr 1
implications 1
in-core solver 1
input 1
intention 1
international conference 1
ioa 1
ioa language 1
ioa program 1
isoparametrics 1
language 1
larch prover 1
local-to-global problems 1
longitudinal study 1
loop invariants 1
measuring 1
meta-levels 1
metric superfields 1
mirror strategy 1
mutual exclusion 1
n-category 1
node 1
non-Abelian Gauge theories 1
non-commutative topological invariants of complex dynamic state spaces 1
nonlinear dynamics 1
nonlinear equation-solvers 1
object invariants 1
objectivation and social memes, anticipation and feedforward processes, systems of internal representations of the human mind as a holographic, `virtual' mirror-like reflection of external reality, propositional attitudes and sentence-analogs, moral duality, ethics and strange attractors of modern society dynamics, Biosphere stability problems created by the Global Human Society 1
optimization 1
optimization invariants 1
or 2-category 1
ordering constraint 1
orientation 1
original program 1
partial 1
partial execution 1
pathway invariants 1
penalty method 1
perspective projection 1
physicochemical forces 1
planar 1
planar curve 1
planar curves 1
plane 1
plane-stress 1